CMSL12.360[360,GF] - www.SailDart.org

perm filename CMSL12.360[360,GF] blob sn#868285 filedate 1989-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε∩p_L'#_LFD  Ie∩H∀F@⊗_↓_`&⊂α_@FλαX Vβ_ux@@Ux@@Up@`Uh↓`UhAe`↓↓ U`A@UXA`UXA`UPBUPBeHB@UHB@U@B`U@B`U8Ce8C U0C@U0
∃"U(C`e D U D U_D@U_D@U⊂D`U⊂D`eλE U↓¬ Tx↓E TpαD`tP¬C!tP¬C!t("⊂Db@∀
q@(Fj`0¬AJ`(π↓*`(πA*`(πA*`(πAJ`(πAJP(λA*P(λ↓JP(λ↓JP(λ↓JP(λ↓*P(πAJ@(λ↓*@(πA*@(π↓*@(εA*@(¬AJA )A!P()A!p()A"()A"0)A"⊂()A"⊂0)↓" 0)↓" 0)↓" 0)↓" 0)↓" 0)↓" ((A" 0(A" 0(A"⊂0(A"0(A!p0(A!`0(↓A@8%G	!P"Qλ28⊗JE⊃ ∧α@∃XεA`%@βA`0(↓U`P`↓`5(αD⊂λα∃Q⊂αT`Q_αT@Q(α∀ Q0α∀Q@↓∪`QH↓∪@aH↓∪@QP↓∪ aP↓∪ QX↓∪aXSdXβ∩`dXβ∩`dPβ∩@dPβ∩@dPβ∩@dPβ∩@aXR`QXR`QXR`QPSQHSQ@S A@S Q0S@Q S`A_TQT Ph↓∀@p8α∃↓e8∧⊃(D ∃K%α@βF*⊃X+↓A@0+↓!p(+↓"(+↓"⊂(+↓" (+↓"0 *A"@(*A"P *A"P(*A"P(*A"P(*A"P(*↓"`0*↓"`0*↓"`0*↓"`0*↓"`0*↓"`0)A"p()A"`0)A"`0)A"`0)A"`()A"`()↓"`0)↓"`()↓"`()↓"P()↓"P()↓"@((A"@((A"@ (A"0 (A"  (A"((A!`0(↓A@0%Fi!H"QλR8∀J¬8⊂∀$¬0ββ`e0αD@E0αD`50αE%0αE%0αE%(αE %(αE %(αE@∃(αE@∃(αB`⊂PU PXB@∃ αB`∃ αB`∃ αB`∃ αB@% αBE λTb∃_αB 5_αB@%_αB@%_αB`∃_αB`⊂XT@PXB`∃⊂αB`⊂XT@Q8T@Q0T@Q0T@Q(↓∀ Q0T Q0T Q(↓∀ Q ↓T Q_↓T Q⊂α∀`xβRd∧P⊂Q(D0∪
¬α@βGj⊃x+↓A`0+↓"⊂ +↓" _+↓"0⊂+↓"0⊂+↓"0⊂*A"@⊂*A"@⊂*A"Pλ*A"Pλ*A! λ¬*P(¬! λ*↓! λ*↓! λ*↓! λ*↓!⊂⊂*↓ p *∧
1)A!_)A!⊂⊂)A!⊂⊂)A! λ)A! λ)↓! λ)↓! λ)↓* ()↓* ((A*⊂((A*⊂((A*⊂((↓I1λ%∧HT #IeRP∀E↓PVaP8↓⊗p8↓A 58αC _↓U Q@ E αD@U_αD`U⊂αE EλαE@EαF$xαF $pβε $pαF@$hβε@$hαF`$`βε`∀`β∩`dXβ∩`dXβ∩@dPβ∩@dPβ∩@aλR@aλR@a8β∩@a8αR`Q8αR`Q8αR`Q8αSQ0αSQ(αS A(αS Q αS@Q_αS`A⊂β∀Px@@EλαC ⊂_↓T@p8↓A % π↓`∃8∧⊃(D@⊗Keα@βDa(Da+↓B0+↓"⊂(+↓"⊂(+↓"⊂(+↓"⊂(+↓"⊂(*A"⊂(*A"⊂(*A"⊂(*A"⊂(*A"⊂(*A"⊂(*↓"⊂(*↓"⊂(*↓"⊂(*↓"⊂(*↓"⊂(*εj1X)A"⊂()A"⊂()A"⊂()A"⊂()A"⊂()↓"⊂()↓"⊂()↓"⊂()↓"⊂()↓"⊂()↓"⊂((A"⊂((A"⊂((A"⊂((A"⊂((A"⊂((A"⊂((↓B0%Da%∧ Qλ"Q	⊃@
¬8λT"∃0β∃@U0αU@U0αU@U(αU U(αU U(αU U αUU αUU αUU_αT`U_αT`U_αT`U⊂αT@U⊂αT@U⊂αT@UλαT UλαT UλαT Uβ∩B∀PλQ(DP∞λ¬∩@¬D*Qλ.↓K@(.↓+@(.↓+@(-A+0(-A+0(-A+0(-↓+ (-↓+ (-↓+ (,A+⊂(,A+⊂(,A+⊂(,↓+(,↓+(,↓)@_∧A)0(βA) 0βA) 0βA) 0βA	 (βA) λ¬A	0λ∧A	@λβA	Pλα@i`0"Q	2p_
¬8λβ↓5λλβ↓50β∧@e0αE50αE∃0αD`∃0αD@∃0αD ∃(αD∃(αC`∃(αC@∃(αC ∃(αC∃(αB@% αB@∃ αB ∃ αB5 αA`E αA@e αA⊂⊂αT`P @`U_α@`⊂(αT`P⊂A@U_α@ ⊂@αT``HαT`PXαT@P`αT@PhαT@PhαT@PpαT@PpαT@Ppβ∀ QαT Qβ∀ QλαT Qλβ∀ Q⊂αT Q⊂β∀aλ∧∩bHπRB⊂Hπ⊃(D`⊃I%α@βDJ⊃⊂+↓J`(+↓*`(+↓*`(*A*P(*A*P(*A*P(*↓*@(*↓*@(*↓*@()A*0()A*0()A*0(
* (
* (
* (
* (	@* (	@* (	J⊂(	@J⊂(	J⊂(	J⊂(λ@j⊂(λj⊂(π↓*0¬B	1h%πHT &Mg∩@∀↓a!X¬T!1P¬U@⊂λαε u0@ A@@ U0@ A@@ U0@ A8@@U0@@A0@@U0@@A(@`U(@`A(@@U(@`A @`U(AA_@`U(AA⊂AU(AA⊂AU(AAλA U A AA U A@@xA U A@@pA@U A@@pA@U A@@hA`U A@@hA`U_B@XA`U_B@XA`U_B@PBU_B@PBU_B @@B U_B @8B@U⊂B@@8B U⊂B@@0B@U⊂B@@0B@U⊂B`@ B`U⊂B`@ B`U⊂B`@_CUλC@_B`UλC@⊂CUλC @λCUλC PhαT ⊂hαβ@U↓β @pαS@`X↓C@dXεα  Hλ∩APHB"∀("∪ERx∀
pXπC
⊂`πβ
`8λAJ`λA"0⊂+  (	*`λ↓↓" λ+ 0(λ@*`λ↓A"⊂λ*@ P(π@*PλαA!pλ*@ `(π*Pλβ↓!`λ*@ p(ε@*PλβA!Pλ*!⊂(¬@*@λ∧A!0λ*!⊂0¬*@λ¬↓! λ*! 0∧@*@λ¬A!⊂λ)@!@0β@*0λεA pλ)@!P0β*0λπ↓ `λ)@!`0α@*0λπA Pλ)"0↓@* λλA 0λ)"⊂0↓* λ	↓  λ)" 0@* λ	A ⊂λ(@"@0(@"P((@"P((@"` (@"` (Bp_'↓BP⊂%Cα0λ%β"0λ"Q	r@↔
E⊃_∧V@@0α⊗@X↓U@@pα∃ Aα∃A⊂α∀@Q_α∀ Q(α∀ A0αTA8αS`Q@α∪@QHαS@QHαS QPαS QPβ∪aPβ∪QXβ∩`aXβ∩`aXβ∩`aXβ∩`aXβ∩@aXβ∩@aXβ∩@aXβ∩@aXβ∩@aXαR@aPβ∩@aPβ∩@aPαR@aHβ∩`QHαR`Q@β∩`Q@αSQ0αSQ(αS A(α∪ Q_α∪@Qλα∪`Aα∀@pα∀@@Pα∀`P0α∃A∀("∀∧rH∀
q@(Fj`0¬AJ`(π↓J`(πA*`(λ↓*`(λ↓J`(λ↓JP(λAJP(λAJP(λAJP(λAJP(λAJP(λ↓J@(λAJ@(λA*@(λ↓*@(πA*@(π↓*@(¬AJ1()A*0()A*0()A* ()↓* ()↓* ()↓*⊂((A*⊂((A*⊂((A*0%D	!λ"Q
∩@↔
%⊃_∧V@@0α⊗@Pα∃@@pα∃ Aα∃AλαT@Q_α∀ Q αT A0αTQ0αS`Q8αS@a@αS@QHαS aHαS QPβ∪aPβ∪aPβ∩`aXβ∩`aXβ∩`aXβ∩`aXβ∩@aXβ∩@aXβ∩@aXβ∩@aXβ∩@aXαR@aPβ∩@aPβ∩@aPαR@aHβ∩`QHαR`Q@β∩`Q@αSPHαα T`αB⊂ BDhα↓`⊂0A@DhαA ⊂@ADpα↓ ⊂@@`Dxα↓⊂@@@Eα`⊂@@ E⊂↓@@⊂@α∀`@λA @XUA⊂λ↓α`⊗↓α`⊗↓α@⊗↓B&↓B&α↓ Fε_↓F¬X!⊗⊂βX`T("∀E∩X∀Jq0(F*`0¬↓J`(εA*`(π↓*`(πA*`(πA*`(πAJP(λ↓JP(λ↓JP(λ↓JP(λ↓JP(λ↓JP(πAJ@(λ↓*@(πAJ@(πA*@(π↓
@(ε↓*@(¬↓
1λ)A!  )A!0 )A!@ )A!P )A!P )↓!`()↓!`()↓!`()↓!`()↓!`()↓!`((A!`0(A!`0(A!`0(A!`0∧*⊂(π↓Aλ(A!`0β@*0πA@`λ%D↓0(α@)!λε↓@λ4AHT )Gd"P∀C`p@Ua0(↓∃ @8↓@`5 ↓B` λ↓T`0hαT@0xα∀ A↓TAλ↓TAλ↓T1_S`A_S`A_S`A_S`Q⊂S`Txβ∀e∧T!EλπTB¬ πUaUP¬W@vβ_ VλαX T`E D`E D`E D`E 4X↓¬DX↓¬DX↓D`4X↓D@DXα∧DXαC`4P↓@@ `α∩@0_α↓`TP↓↓!TPB!∧("∃∧bh∀
2_&		@0∧AA⊂0&a@(ε↓	@⊂εA!P⊂&!`(π)0⊂π↓!`λ%@!p(π)0λπ↓!pλ%@!`(π@) λπA!pλ%!p(π@) λπA!pλ%!p(π@+⊂(,A+⊂(,A+⊂(,A+(,↓+(,↓+(,↓*p(+A*p(+A*p(+A*`(+↓*`(+↓*`(+↓*P0&E)Q("Q
R0↔J%λαADPλαADxβ∧@dxαE $xαE ∀xαE ∀xαE ∀xαE ∀pαE ∀pαE ∀pαE ∀pαE ∀pαE ∀pαE ∀hαE ∀hαE ∀hαE ∀hαE ∀hαE ∀hαE ∀`αE ∀`αE ∀`αE ∀`αE ∀`αE ∀`αE ∀XαE ∀XαE ∀XαE ∀XαE ∀XαE∀XαE∀XαD`$`α∧`∀`α∧@∀`αD$hαβ`$pαβ $xαα`%αA@Eλε∃t("∃E∪λ∀JxπBi xπBi`8
A)p(@Ip(@)p(@)p()p0
@*(
*(
*(	@*0λ@*⊂(λ@*⊂(λ*⊂(λ*⊂(π@*⊂0π* (ε@* (ε@* (ε* (ε* 0¬*0(∧@*0(∧@*0(∧*00β@*@(β*@(β*@(α@*@(α@*@0↓@*P(↓@*P(↓*P(@JP(@*P0+↓*` +↓
`_+jpλ"Q
sH J%πα↓pH¬RA`@πB↓Dpβ∧pxβ∪@Qλβ∧ 4pαD@Q⊂S@aλαD ∀xαD QλS`Qβ∧∀xαDaS`Px@ Px↓∪`Px@ `pS`Pp@`PpS``h@`PhTP`APhTP`AP`TPXA P`TPXA PXTPPA@`PTPPA`PHT`@BPHT P@BP@T P8B P@T P8B P8T P0B@P8T P0B@`(T P(↓α`P(T ` CP T@P CP T@P_C P_T@P_C P_T@P⊂C@P⊂↓∀@P⊂C@`λT@PλDPλT@qβ∀`Qλβ∀`QλαT`A⊂αT`A⊂α∀`1_α∀`1 ↓∀`!(↓∃⊃(Q(E@⊗KEα@∧βa⊂h)βa⊂h+α↓`8+AB_,↓"⊂,↓Apλ,A!`λ,AA@λ-↓!0λ-↓A⊂λ-A!⊂-A@pλ.↓ `λ.↓@@λ.A 0λ.A@⊂λ/↓k`0/A+p00↓+p8/α`λ↓↓KPλ↓AK@λαAK0λβ↓K λ∧↓+⊂⊂∧↓K⊂λ¬↓+λ¬AJpλεA*`λπ↓JPλλ↓*@⊂λ↓J@λ	↓*0λ	AJ⊂_
↓)p0λB	 hεCi hε∧λT ,JF∩@∀αx¬RBx¬S`q(αTQ8↓∀a0T Q(T a_T a_T@aλT@aT`PxT``h↓∃PhU`XU`PU `@↓∃ `@U@P8U@`(U`P U``_U``⊂VPλVeHαV E@αVU@αVU@αVE8αU`U8αU`U8αU`E0β∀"¬λQ(EP∩	eα@∧Fj!X)α↓P0)↓"()↓α()B⊂((@b0(@B⊂((@"⊂((@"((Ap((!p0(!p((!`(/↓+P(.↓K@(-A+ (,AK⊂(,↓*p(+↓*P0π*P(π*@(π@*0(λ* (λ@*⊂0λ*⊂(λ@*(λ@Ip(	I`0λ@IP0λ@iP(λA	@(λA)0(πB	!`%πλT 0FcaHB@uλ↓A@5B@4xαα 4xαBDpαB Dxαα EB`E`α↔E`α∃↓5λαA DxαA`Dpαα Dhαα@D`αα`DXαB@@(R@PXα↓ ∀PαB`@(R@PXα↓ ∀PαB@P(R@PH@ @ R`P8@@@ SP ↓↓tpβA`D("_C"∀J p &α)@H(↓
 (↓
 (↓
 'A	p 'A	p 'A	p '↓	` αAI` ↓@@P_'↓⊂⊂∧@i`(¬A	` ε@iP(εA	P π↓)P πA	P πA	P πA	P πA	@ πA)@ πA)@ πA)@ πA)@ πA	@ π↓)0 πA)0 πA	0 π↓	0 πi0 ε@i0_@!0_%`0λ∧@i ⊂α@ `_% p8"Q18
F#⊂X∧∀`08↓∀ 0XT0Hα∪`0PαS@@HαS @Xα∪P`SDXαR`TPαR@TPαR@TPαR@TPαR@TXαβ@∀Xαβ@∀`αβ∀h↓B`∀p↓B ∀x↓A@%λβQ(F ∞H%∩HA`H/α,  1↓  1↓  1↓⊂ 0A⊂ 0A⊂ 0A +↓@@ )AP⊂↓↓
⊂ ∧@ ⊂ (a0λA	p_εA)` εA	P π↓	@(π↓	@ πA	0(πA	0(πA	0 πA	 (πA	 (πA	 (πA	 (πA	 (πA	 (π↓	 (π↓	0 π↓	0 π↓	@_εA)P_¬@ ⊂ 'a⊂λA)p_α@` H(A@PH"QQ0
ε#⊂PβT@0(↓T 08↓S`@@↓S@@Hα∪@0X↓S @Xα∪@`α∪@`α∩`P`α∩`PXαRBTPαR@TPαR@TPαR@TPαR`@pR`@pS0hS 0XS@ PS`0(↓T d("→C↓P∀J"⊂(,@`@λ+@`@ +↓0(*A@(*@`` *↓pλ*↓
@ )A
0 )A
0 )A
0 )↓	Px&Cj  )↓
  (A
⊂ (A
⊂ (A
⊂ (↓
 (↓
 (↓
 'A	p 'A	p 'A	p '↓) p%βHT 3GCr8
ε E8β↓ ⊂ U@ ↓@  _↓T`08↓A 5⊂↓B@(T @@α∀P@αT@HαS`PHαS`PHαS`PHαS`PHα∪`P@αS`P@α∀@8α∀ 08↓T⊂λ↓ADx↓`dxS`∀p↓∪@$p↓SaeπTα∧p↓B`Th↓β`D`↓D4X↓D 4X↓D 4P↓D@4P↓D@4P↓D@4P↓D 4X↓C`4`↓β@4h↓β4pα↓@Eλ∧⊃(F@∞Ge∩H¬A
H(α*@ *↓
@ *↓
@ *↓
0 )A
0 )A
0 )A
  )↓P8)↓0⊂α@j  ↓!_)↓⊂λ∧A
 (¬↓
⊂(¬A
⊂(¬A
⊂ ε↓
⊂ ε↓
⊂ ε↓
⊂ ε↓
 ε↓
 ε↓
 ε↓
 ε↓
 ε↓
 ε↓	p ε↓	p ε↓	p ε↓	p ε↓	p ε↓	p ε↓	`(¬A) h↓C) h↓C(T 4CBα@∀α@5_αT`U⊂β∀`U ↓Qa⊂@α∪A∧p∧∀ UλαT Eλα∀ Eλα∀ Eλα∀Eα∀Eα∀Eα∪`Dxα∪`Dxα∪`Dxα∪@TPε∩AD("~BQ⊂~
α⊂_-↓+⊂0,AK (-↓λpHπA
@H*α+(,↓+ ,↓ ,↓ ,↓
p +A
p +A
p +A
` +↓
` +↓
` +↓
P *A
P *A
P *A
@ *↓
@ %@``_%↓ @ %↓ @_%↓@_%@ P_&↓HT 5GDαH∀B`E∧T↓∃ α∃E α∃E α∃E_α∀`E_α∀`E_α∀`E⊂α∀@@@¬∀@@@¬∀@@HαT@@H↓T@@HT @HT @@T @8T @(T @ ↓∀ @_↓T@_αT@λ@@Eα@`Uα↓Uα↓ Eα↓ Txα↓`Dxα↓`TxααDxααTxαα Dxαα TpαBtPε@ADPεaD("≠↓qλ∀J!0 (α*H*↓
@ *↓
@ *↓
@ )A
0 )A
0 )A
0 )↓
  )↓
  )↓
  (A
⊂ (A
⊂ (A
⊂ (↓
 (↓
 (↓
 'A	p 'A	p 'A	p '↓) h%β(T 6K%qHB@(βB tp∧` (↓A@ (↓S!⊂⊂B0 B5λα@ ⊂Hα@⊂Hα∀ `Pα ⊂Pα∀ PXαB`EλαB`PXα∀ @`αβEλαβ@`α∀ @`αβEλαβ@`α∀@`αβEαβ@`α∀@`αβEαβ@`α∀@`αβEαβ@`α∪`@`αβDxαβ@`α∪`@`αβDxαβ@`α∪`@`αβDxαβ@`α∪@PXαB`TPε@aP_εRAP_ε@aT("≠CQxF! αAi`@↓@@P_&B  λ∧j⊂(@!⊂ (AA  (A!0 (A!0 (A↓@ (A↓@ (A↓@ (A↓@ (↓↓@ (↓↓@ (↓↓@ (↓↓@ (↓↓@ (↓↓@ 'A↓@ 'A↓@ 'A↓@ 'A↓@ 'A↓@ 'A↓@ '↓!0(%β 0h%β 0h"Q
q@∞ε#⊂XβT`0 α∀ 0@↓T0P↓S`0Xα∪@0h↓S @hα∪@pα∪@pα∩`Ppα∩`Ppα∩`@pαR@PpαR@PpαR@PpαR@PpαR@PhαR@PhαR@Phα∩`@`αR`@`α∪0Xα∪@Hα∪ @8α∪`0(↓T d("≤∧α∩F!  αAJ@↓@@P_'B ⊂⊂∧↓
00¬A
@ ε↓
0(εA
0 π↓*0 π↓*0 π↓*0 π↓*0 π↓*  πA*  πA*  πA*  πA*  πA
  π↓*⊂ πA*⊂ π↓*⊂ π↓
⊂ εA
⊂ ε↓
⊂(¬@j ↓! (↓0λβj α↓j (↓
 'A	p 'A	p 'A	p '↓) h%β(T 8FCb(C`8T`@(A %λαα⊂ ↓∀@P@@4xαα`⊂λα∪@@hα∪ @pα∪Ppα∪@xα∩`Pxα∩`Pxα∩`@xα∩@Pxα∩@Pxα∩@Pxα∩@Pxα∩@Pxα∩@Ppα∩@Ppα∩`@pα∩`@hαS@`αS 0X@ Dp↓B λα∪`0(↓`Eλβ↓ E`α↔E`α⊗`EXα⊗`EXα⊗`EXα⊗@U0εUAT("≤BqHF! α↓)`@↓@ 0_&B ⊂⊂↓A*⊂(@ @((A@P (A ` (A*⊂((A
⊂ (A
 (↓
 (↓
 (↓	p 'A	p 'A	p 'A	`(%βI p"Q∞1(F#⊂HβA∃λ↓A@ λ↓∀ P↓S` `↓∪@0`↓∪@ hS 0hS @`S Dhβ∪A$x¬T↓5⊂¬∃@uHα∪⊂`α∩` h↓R` h↓R` h↓R` h↓R` h↓∩`0X↓∩@0λB $P↓`⊂0↓R@⊂(βQ(G λEDB ¬*@λ**0⊂)@* ⊂)J⊂_(@j 'A	Pp%∧)p 'A	p '↓	` '↓	` '↓	` &A	P &A	P &A↓λ&A↓λ&↓↓λ&↓↓λ&↓↓λ&↓↓λ&↓pλ&@`pλ&@``λ'`@λ(↓(T :FCqHA @`α∩a@∧∩A⊂8∧S@PXαS@PXαS@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪@@`α∪ @`α∪ @`α∪ @`α∪ @`α∪ @`α∪ @`α∪@`α∪@`α∪@`α∪@XαS@XαS@P@ Dh↓B ⊂λαS@00↓A∃βA↓∀("≥CBλF `βB) `βB)`(ε↓	`(εip εIp ε)p ¬@)p ¬@)p(∧@* ∧@* ∧* ∧*(β*⊂ α@J⊂ α@*⊂ α*⊂ α*  ↓*  ↓*  @*  @* ()@j0_)@J0⊂"Q∞r8⊗ε#⊂εA@ ∧RA@⊂¬A!∀hβαPPα∪@@Pαα`$pαα@@XS@@Pαα@$xαα @PS`@@αB ∀xαα⊂λ↓B ∀xα↓` λα↓`∀xα↓`⊂⊂α↓`∀xαA  ⊂α↓@∃α↓ ⊂ ↓A@∃α↓⊂(↓A ∃α↓⊂(α↓∃α`⊂0α`∃α`⊂0α`∃α@ ⊂8α@∃λα ⊂@↓@@∃λαB 0λT PHαT @Pα∀ @Pα∀@ X↓T@ `↓∀@⊂hQ(G@⊂λ#⊃Hαβ`P'βPX)↓A⊂()A↓ _*↓↓⊂λ*↓↓λ*A`λ*APλ+↓0λ+↓ ⊂⊂+AJp(,↓(,↓*pλ↓↓
`λ↓A
PλαA
@λβ↓
0λ∧↓
 λ∧A*⊂⊂¬↓
⊂¬A)P0¬↓I PβC	 PβCλT <H$∩(A!@8∧Sa@8∧T`P`α∀`P`↓U@`↓∃@`U@XU@XUPHU @HU @@U @@U P0U@@(↓∃@@(U@@ U@@ U`@⊂U`@⊂U`@λU`@λU`U@↓V5@↓⊗%@V∃8U`∃0R`08R@P0R@P(R@@(R@@ ↓∩`⊂(ST("≡C↓PF Q_'A↓0 '@A@ 'A@ '!@ '!0 '!  &@!0 &@!  +A
` *A
P *↓
0 )↓↓ λ(A↓ λ(↓↓0λ(↓↓0λ'A↓0⊂'↓↓@λ&A↓Pλ&↓↓P⊂&↓↓@_%A↓0 %¬λT 	$r@∀↓ceλ∂∃@`hβ∃@Qα∃@Qλ↓U@Q⊂↓∃@Q⊂↓∃@Q⊂↓∃ Q_↓∃ Q_↓∃ Q U Q U Q U Q UU αUU αUU αT`U_αT`U_αT`U_αT@U⊂αT@U⊂αT@U⊂αT UλαT UλαT UλαTdXλRB$("%"h∀J#0⊂2l@_1A, 01↓L⊂λAL⊂ALλ↓A+pλα↓K`⊂α↓K`λβ↓+PλβAK@⊂βAK@λ∧A+0λ¬↓K ⊂¬↓K λε↓+⊂λεAK⊂εAKλπA*pλλ↓J`⊂λ↓J`λ	↓*Pλ	AJ@⊂	AJ@λ
A*0λ↓J ⊂↓J λ↓*⊂λAJ⊂AJλ
A)pλ∞↓I`⊂∞↓I`λ∂↓)Pλ∂AI@⊂∂AIB8%J)"P%
HT ↓
¬bP∀Da∃Pα↓@E@αα@E0αβ@E(α∧E α∧ U⊂αD`EλαEUλα¬@UαE@TxαE`TpβεTpαF Thβε ThαF@d`βε@d`βε@dXβ↓⊃λAdXβ↓⊃λAdXβ↓α0 β∩`` 	AdPβ↓α0 β∩@` 	AdPβ↓⊃λAdPβ↓⊃λAdPβε`TPβε@dPβε@dPβε@TPβε dXαF TXαFdXαFT`αE@T`αE@Dhα¬ DhαD`Dpα∧@Dxα∧Eαβ@E⊂↓B`E_α↓`E0∧Q(@_∩	E∩HL ⊂0@l⊂_0↓ /AKp0/ ⊂(/ ⊂(.@  (.@  (. 00. 00-@ P(-@ P(- `(- `(,@ p0,@ p0,!⊂(,!⊂(+@! (+@! (+!00+!00*@!P(*@!P(*!`(*!`()@!p0)@!p0)"⊂()"⊂((@" ((@" (("00("00'@B@(&A" 0%αa0p%αa x"QB@∃
¬@⊂∀D¬λ⊂∀$¬λ↓π ∃λG@∃λG@∃λG@∃G@∀8βα@⊃ U⊃ U⊃ Uαe ∀be_∀`⊃ T`⊃ T`⊃ Q``⊂H∀XH∀XH∀XH∀XH∀XG`$X⊃∩D$P⊃∩D$("↓%Rx∀
r0(IJ`(λAJ`(λA*`(λA*`(λA*`(λA*`(λA*P(λA*P(λA*P(λA*P(λA*P(λA*P(λA*@(λA*@(λA*@(λA*@(λA*@(λA*@(λA*0(λA*0(λA*0(λA*0(λA*0(λA*0(λA* (λA* (λA* (λA* (λA* (λA* (λA*⊂(λA*⊂(λA*⊂(λA*⊂(λA*⊂(λA*⊂(λA*0λ↓I1β∧	!λαD(T β
¬2@∀↓d∃λ⊂T a_∧∀@Q0αT@a0α∀`Q8↓T`a8↓∃Q8↓∃a0↓∃ Q0↓∃ a(↓∃@Q0U@a(U`Q(U`e8β⊗e@β⊗ eHβ⊗@ePαV`5X↓⊗`∃PV ⊃ V⊃(U@!0U ⊃8U⊃@T`⊃@↓∀@⊃H↓∀ ⊃H↓∀⊃H↓S`⊃Hα∪@⊃Hα∪ ⊃0∧∪∧∧X⊂∩D∀("↓ds∀J `(	A)`HπαIPXεαi@h¬β)0x∧βI0⊂∧↓ p(∧i ⊂¬↓ P(¬I λε↓@ εI λε@`@ ε@+ ↓↓ ↓k⊂_A⊂_@k⊂_@k⊂0,AK⊂0,A+⊂(,A+⊂(,↓+(,↓+(,↓+(+A*p(+A*p(+A*p(+↓*`(+↓*`(+↓*`(*AIa_'∧hT ∧	¬"@∀βα5(
↔e`αWU`αWU`αV!%(α@ P⊂α∀`@ αAEλα↓@P(αT@8αA@TxααP8αS@P8αBThαBPHαSPHαB TXβα PHαR``HαB dXβα PHβ∩@`HαB dPβα PHβ∩@`HαB dPβα PHαR`PHαBdXαB P@αSP8αBT`αA`P@α∪ P0αA`Dpα↓@P(αT@ αAE⊂α@Pλα∃!%8αU`U8αU`U8αU@dx	Sb4("α$rx∀
↓A_*E@0.↓+@(.↓+@(.↓) 8¬↓!00&A!⊂(¬↓)P(∧A!⊂(&A!⊂(∧A)P(∧A!(&A!⊂(∧↓)P(∧↓!(&A!(∧↓)P(∧↓!(&A!(∧↓)P(∧↓!(&A!(βA)P(βA!(&A p(∧↓)P(βA! &A p(βA)P(βA p '↓p(β↓)` β↓ p 'AP(β↓	p αA P (↓@(α↓
⊂ ↓A   )A⊂H+α
p(+A*p(+A*p(+↓Iq_'DhT ¬	E2H∀DA∃Hα↓`E0αB`E(αβ@E_αDE⊂αD@EλαD`UαETxβ¬ TxαE@Tpβ¬@TpαE`dhβ¬`dhβ¬`dhβ¬`d`β¬`d`β¬`d`β¬`d`β¬`ThαE@dhαE@ThαE dhαE TpαEDpαD`Txα∧`Dxα∧@E↓D@5↓D 5λ↓D5λ↓C`5λ↓C`$PA` p↓↓`∀PA` p↓↓`∀PB⊂h↓α∀PB⊂hB∀PB⊂`↓α∀PB⊂`B$P¬β↓$P¬β↓$P¬αa4P¬αa$("β!p∀	aP8*@`P_*A_)a _(A↓ _(@a@_(aP_'A↓P 'A↓P '↓↓` '↓↓` &A!` &A!P(&A↓`(&A↓`(&↓!`(&↓!`(&↓!`(&↓!`(%A!`(%A!`(%A!`(%A!`(%A!`(%A!` %A↓`(%↓!`(%↓!`(%↓!` %↓!` %↓!P(%A↓P %A↓P %A↓@ %A↓@ &a0 &a0_&@a⊂_&Ap_'@`@_(AHT _Dcα8∪D%H↓∃`E βS`pλα∪`@ α∃`E0α∃@E0α∃@E0α∃@E(α∃ E(α∃ E(α∃ E α∃E α∃E α∃E_α∀`E_α∀`E_α∀`E⊂α∀@E⊂α∀@E⊂α∀@EλαRB4P	⊃(C⊂
GDr8π↓J`X*`P0)@A⊂()!@((@!P((@!P0(!p((↓↓@('AA0('AA 0'AA 0'A!00(a@(/↓K`(/↓+P(.↓+@ -A  -k⊂_,jp_+JP⊂*J0⊂)A@λ(@APλ(A`λ'@!pλ'"λ&@"⊂&∧i1 %¬)! "Qε1P∞J∧ppβUA5 ↓A@U_↓α U⊂CUλαα@UλαB Uβα Uβα Uλαα@U⊂↓α@epαW@UhαW E`α⊗`5Hα∃ uX↓WE`αW EhαW Uhβ↔ ehβ∪  pβ∩`Phβ∩`PhαR@``β∩@``β∩@PhαR`⊂xβ∩`⊂xαS⊂hαS XαS @0αSaEλβQ(C π∧r8
@K`⊂/KP_.↓0(-↓K (,@ ⊂ ,   +@ 0 +@0 + @ *@ @ * P )@ ` )@` ) p (@! (! '@!⊂ '@!⊂ '!  &@!0 &!@ %@A0 %@!@ %ε	!@,↓ +A
p +A
p +A
p +↓*⊂x(∧λT ~F#b@∪B⊂p↓∀@@@α∀AuλπT!Uλε∀ ⊂_αT ∃λT∃T∃T∃S`⊂ β∪`⊂⊂↓↓@$x@ ⊂H↓∪` P↓S`⊂Xα↔5`α↔E`α↔EXαV`TX↓C TPαCTPαCTPαB`TPαβTPC`DPC`DPC@DP↓βDXC4X↓α D`↓A@Dh¬S`d("
C⊃p∀	ap8+BJP(βJ@ ∧j0_∧A
 _∧A*⊂_¬↓* ¬↓	p '↓	` &A	P &↓)@ &↓P0%A 0⊂α@i0(↓!_%A ⊂λ¬i (@!0 %↓AP_%↓AP %↓!` %↓!` %↓!` %↓!P(%↓↓`(%↓↓`(%↓↓`(%↓↓`(%↓↓` %↓↓P(%↓↓P(%↓↓P %@a@ %@a@_%A↓ _&a⊂_&AP 'αj0"QεqH⊂J% S@$h∪"dh
Sαd`D`∀X↓∧@∀XD@∀XD ∀PD ∀PD ∃XV@∃HV∃8↓∃`∃0U %(↓∃%_↓T`5⊂↓T@5λα∀ Eα∀Eα∪`Txα∪`DpαS@TpαS@ThαS ThαS@4("∞β!h∀	a`8+αjP_β↓
@⊂¬j0⊂¬@j ⊂ε@j⊂_ε@j⊂⊂πj_πj_πj_πj εj εj0∧@j8β@j⊂8α@j @↓J X*α
PH)C
 ⊂αα
_βα	p⊂∧B	`⊂ε↓IP_εA)@_πA)@_λ↓	0_λA	0_λA	0_	i _	i _	i0_λ@I0_λi0_λI@_ε@iP_¬@i` β↓)p`(AhT ≤F#b@∪Cu ¬∀@P(α∀ @@α∀@P↓S`@Xα∪@@h↓S@@h↓S @pα∪ @pα∪Ppα∪Ppα∪PhαR`PpαR`PpαR`PpαR`PpαR`Phβ∪@hβ∪@hαS@`β∪ 0X@ Tp↓B@⊂λαS` @↓@U↓A ⊂ α∀@` αWU`α⊗`UXα⊗`EPα⊗@4X↓B`DPαB@4PαB 4Pαα 4PB@DX↓↓@TX¬S t("	β⊃p↔K↓p⊂,@K⊂⊂+Aj@`)A ⊂↓@j _↓@@`⊂(@@P⊂β@J⊂βAλ'@``⊂∧)`_β@Aλ'`p⊂βi`⊂β@@` &@`p⊂αA)P_β@@P(&@`p⊂βiP βIP βIP(αI`(↓@I`P'Bj`(C
 `*BJP⊂↓↓JP⊂α↓*P⊂αA
P⊂αA
@⊂β@i0_β@p_%↓ P⊂β@i (α@@p_%↓ P⊂β@i  β@p⊂%!⊂β@i λ∧@p⊂%!⊂βi ⊂β@@P_%@ p⊂α@I0⊂β@0_&↓ ⊂↓↓	P`(↓J ⊂)J ⊂"Q∧bX↔
e!_α⊗`0_V@0(V 00V08V08U`@8U`@8U`0@U`08U@@8U@@0U@@(U@@ U@@ U@@_U@@⊂U@@λC!E0αCAE0αDe8α∧ 58α∧ %(β∧ ∃ @@PxT`⊂ αβ`∃⊂A @pT ⊂0αC∃↓↓`@XS` @αα`∀p↓BPHS 0Pαα∀`αα@P0R`PXα↓ $XαB`P R@``α`∀PββPλR@`hαC`∀Pββ@@xR`PpαC ∀XαC pX↓∪PP↓@@PH↓∪ P0α↓ P0↓SA@H¬T↓hβ⊃(Cx
GE∩HβB	p⊂βA	P⊂¬↓	@λεA	0λπ↓	0_ε↓) (¬A) (¬A)  ε↓)  ¬A+⊂(,↓+ +A
`_*@j@_)@j0⊂)J λ(@J⊂λ(@*⊂λ(*λ(*λ((p0↓@i@(&↓I00&↓)P_"Qπa(J#Pp↓U`U8β∃@e8αV48ββ ∃8U`∃8U`∃0↓∃@∃0U %(U%_↓∀`%⊂↓∀ 4xα∪@Dhα∪DXαR`PXα∩@P`α∩@PXαR@PXαR@P`↓R`@pR`@hS0X↓∪ 08↓Sa∧("∧↓@pF! 'α	`@(A*⊂((A
⊂ (A
⊂ (A
⊂ (↓
 (↓
 (↓
 'A	p 'A	p 'A	p '↓) `%βλT λDbα(C`E ∧U↓∃@αVU@α⊗E@α⊗E@α⊗E8α∃`E8α∃`E8α∃`E0α∃@E0α∃@E0α∃@E(α∃ E(α∃ E(α∃ E α∃E α∩`00↓R@P α∩@P ↓R@@ ↓R`⊂(↓Sd("ε#Qx∀J"⊂0,@`@_+@`p +a⊂_*A↓⊂ *@a  *↓↓ (*↓↓ (*↓↓ ()A↓ ()A↓ ()A↓  )A↓⊂ )A↓ )Ap )↓` 'α0('α`_)↓p_)↓↓_)↓↓ (A↓ _(A↓  (A↓  (A↓ ((A↓ ((A↓ ((↓↓0((↓↓0((↓↓0((↓↓0((↓↓0((↓↓0('A↓0('A↓0('A↓0 'A@⊂αA	p ↓A0 'A0_αi` α`0_%α@λαi @αA(T 
	e!HBAPβ∀ 08↓A@0 ↓T⊂X↓@`08↓S`@P↓@ 0@α∪`PHβα@4pαB@`P↓S`@PαB`ECPXα↔ @`α↔ @`α↔ @`α∃c∃_αAEαA`DpαB DhαB@D`αB`DXαCDXαβ DPαC @pR@P`αC@∀PαC λ↓C∀PαB` ⊂↓B`∀XαB0 ↓B ∀`αA 0@↓↓@$x∧βd("εe"pF!08ε↓j0_α@a_α@j⊂_∧@@`⊂∧j_¬`0_∧@ip_ε`⊂_¬@i`_ε@`⊂_¬@iP εAA@ &↓↓p(ε↓	@ πA↓P %A!p εA	0(πA↓P %A↓q(%↓!p %↓!p %↓!p %↓!p %↓!`(%↓!`(%↓!`(%A↓P0π@)0 εAApλ&a@_↓aPλ&@a _αA@λ'a⊂β@A λ'@`P_∧@`P_(AaP0"QβAX∂	#qH↓_`⊗⊂X ⊗λX∃0β@@∃ ↓A E⊂↓B5λ↓α@E↓α@ λ↓S`0P@@4p↓B@⊂_α∪ @H↓↓4h↓B@⊂(↓S@HA@4`αα⊂8↓S0HA@DXαα⊂8α∩`@8BDXα↓`⊂@α∩`@0B DXα↓ ⊂Hα∩`@ ↓α DXα↓⊂P↓S0_B@D`↓@@ P↓S 0λB@4hαα@4p↓B 4xα↓ 4p@`dhS ∀`R`∀P↓∩@∀("π&C0∀
αB/λ λ↓AA@01 0(πA⊂λα↓"_0@ @(λ@LλαA"⊂⊂0 P(λ@KpλαA" ⊂/@ P(	K`λβ↓"0λ/ `(	@+PλβA"0λ.@ p(¬@ pλ. p(¬@+0⊂βA!0λ-@!(¬@+ λ∧A! ⊂-!⊂(¬K⊂λ¬↓! ,Fk↓`,! (∧@jpλ¬A! ⊂+@!0(¬J`λε↓! ⊂∧*`λ¬A!0λ∧*Pλε↓!0λ∧*Pλε↓!0λ∧*@λεA"0λ*!P(	@*0λπ↓"0λ)@!P(	@* λπ↓"0λ)!`(	J⊂λπA"⊂_(Ap(λip_πA!p '↓!P0ε↓i XβG	 XβGλT ∂
'BP∀Da¬Pα↓C5@αα#%0αβ`hβ∃ @hαDE_αC@Qλ↓T@PxαD@%λαDQ⊂↓∀QλαD@%αD A_↓∪`Q⊂α∧`$pβ∧@A S@Q⊂αE∀hβ∧@P`A`∀hαD`P`A`∀`β∧`@`Sa_αβ∀Xβ¬@`R`a_αB`$Xβ∧`PHα∩`a_	∩@a λR@a αα@4Pβ¬@X↓∩@a_αB`$Pβ∧`P`R@a_αC⊂@R@a_αβ⊂@R@a_αβ⊂@R@a_α¬ ∀XαD@Q R`aλαE∀Xβ∧ Q SQλα¬∀`αD A S PxαD`$hαC`Q⊂↓S@PpαD 4xαβ aα∀@`ββ uλααC%_α↓CE0∧⊃(Ax∀EbX∪@.λ.B!⊂λ-↓p_β+_ε`0⊂+ap @*P_λA
@_	A
  
↓
⊂ 
 ⊂ (@b@⊂↓↓
 	@@0 'Aα@λα@i` 
 ` '↓α0λβA	P(	! &Aα λ∧A)@(λ@A⊂(&↓"⊂λ¬↓)0(λ@!0(%A"λε↓)0(π@!P(%A!`λπ↓) (πAP(%↓!P⊂π↓) (ε@!p(%↓!@λλ↓) (¬@"⊂ %↓! λλA) (∧@" (%↓!⊂	↓	 (∧" (%Apλ	A	0 β"0(%APλ
↓	@ ↓@"@ &↓ ⊂
iP_@B@_&A"@_'b@_'@b _' ⊂_πA	Pλαa@_&@P βA	@λ∧B)0λ%(T ⊂C""P∃αEλαT eλβ∀ Uβ∀eβ∀UαTUα∀Eα∀E↓T5↓S`Dx↓S`4x↓S`4x↓∪`$x↓∪`$xS`∀xS`∀8β@4XαR`dPβ∩`T`↓Q(C`εD¬!h∧j⊂((AJ0(A* _#A@pλ(@*⊂λ(@*⊂(J⊂(Ip_'@ip_'@i` 'i`_'iP &A	P &A	@(&↓)@(%AI00%AI0(%↓I 0%A)0 "Q∧2`_
%⊃H↓α`&_↓B@6⊂↓B@6⊂↓B@6⊂↓B@6λ↓B@6λ↓B@6λ↓B@6↓B@6↓B@5x↓B@5x↓B@5x↓B@5p↓B@5p↓B@5p↓B@5h↓B@5h↓B@5h↓B@5`↓B@4h∀S¬$h∀V@0P↓V 0P↓V 0P↓V 0P↓V0P↓V0P↓V0P↓U`0P↓U`0P↓Re∀P∃∩e∃(↓B@5 ↓B@5 ↓B@5 ↓B@5_↓B@5_↓B@5⊂↓B@5⊂↓B@5⊂↓B@5λ↓B@5λ↓B@5λ↓B@5↓B@5↓B@4x↓B@4x↓B@4x↓B@4p↓B@4x↓α`$("	$rx↔K↓⊂ J⊂⊂α"`_(@`λ
↓	p⊂∧"  'A⊂_π↓)P⊂¬  ⊂¬@⊂_&a0λ↓B@  &a0λπ↓	0_ε!P %@a@λε↓	0_ε!@_%@a@λ¬@i _ε!0 %a@λ¬↓	 _ε!⊂ %a@λ∧@i _¬@!⊂_%@A0λ∧↓	0⊂¬! %@A λβA	@⊂∧!_&@pλ∧iP⊂αA 'A↓⊂ -A↓  -↓↓⊂⊂α+ _∧@@`λ,@a⊂⊂∧+ ∧A⊂λ+A↓⊂¬*` ∧a0λ+a⊂_¬@*P_∧@a@λ*↓↓⊂_ε*0 ¬a@λ)↓↓0_ε* _¬@a@λ(@a@_ε* εa@λ'A↓P_ε)` πa0λ&Aα⊂¬@)P_λ@A λ&b ⊂¬)0 	@Aλ%↓α@⊂β@) _@@⊂%C⊂ "Q∧p@	∧%⊂_↓ST`β∩`t`β∪ 0λT ∃λT∃T∀xS`∀pS ∀`R`∀PQ(B@	FGB`	+0λ-+⊂λ+@J`⊂+JP⊂*J0⊂)j ⊂(@j_(ip_'@i`_'i`⊂&@iP_&i@_&i@_%@i0_%@i0_%↓	  %i _%i _%i _%i _%i _%i _%i _%@I0⊂%@i0_&I@⊂&@IP⊂'I`⊂'@Jλ(J⊂⊂)(T ∀EαC`⊗α@∃(U@∃8U`%@↓⊗%H↓⊗ %H↓V@%P↓⊗@5P↓V`%X↓⊗`5X↓V`5X↓V`5X↓V`5X↓V`5X↓V`5X↓V@EPα⊗@5P↓V@5P↓V EH↓V 5H↓V5@↓V58↓U`58↓∃@50↓∃ 5(↓∃5 ↓∀`%⊂↓T@%λ↓∀%S`∀pS ∀`R@$("
BqxK↓@_+j`⊂+J`⊂*@i@_β@p_%A P⊂β↓	@(α@@('↓0⊂↓A
_↓   (@`⊂λ@j0()A
⊂@'@` ⊂A	P ↓@@0 %↓ PλαA)  α@@` %@p⊂β@j0⊂)@J _)j _)HT ∃IeB0⊂E@%x↓W`5x↓W`5x↓W`5p↓W@5p↓W@5p↓W@5h↓W 5h↓W 5h↓RddP∪Rde`↓W5`↓W5X↓V`5X↓V`5X↓V`5P↓V@5P↓V@5P↓V@5H↓V@$("↓`λA 0_&↓)@0%Ai@0&@`⊂λ(@*⊂λ(*λ()pλ'@)`λ&@)@λ%@) λ"Q¬`8ε↓ P⊂↓R`TXβ∩@dXαS4("cr≥KβP⊂3l`_2@lP_2l@_1@l0_1l _0@l⊂_0l_/@kp_/k`_.@kP_.k@_-@k0_-k _,@k⊂_,k_+@jp_+j`_*@jP_*j@_)@j0_)j _(@j⊂_(j_'@ip_'i`_&@iP_&i@_%@i0_%i _%HT ≥αAqHA@4xαS@dpβ∪@Tx↓Qa`⊂↓R`TXβ∩@dXαS4("∞a0x∩F p_(↓)p0'AIp((hpp↓@i@(&↓)00&↓)P (*λ'@)pλ'@)`λ')Pλ&)@λ%@) λ"QπRH⊗CBP_∪∪∧th∪⊃a⊂λ∪∩DtX∪⊃(D∀E∩H	B _∧k⊂πJ`⊂	*Pλ
@J@λ* ⊂@*⊂λ∞*⊂λ¬AA@λ(! _α@!0λ'@!⊂_∧!0λ'!⊂_¬! λ'!_ε!⊂λ&@!_εA Pλ&@ p π↓`λ&!_π↓pλ& p π↓pλ%@!_πApλ%@ p πApλ%@ p πApλ%@ p πApλ% p πApλ% p πApλ% p πApλ% p πApλ% p πApλ%!_πA`λ%! εApλ%@ p εApλ%@!_ε↓ `λ%@!⊂_¬ ⊂ β)0λ¬A⊂λ↓@`Pλ&! _α@@@_α)@λε↓A(&@)`λ')p⊂
↓
⊂λA
 ⊂λA*@_¬↓JpX"Q1_∞e@P∧∃↓¬ ∧∃5 ↓U5_↓T`5_↓T`5_↓T`5⊂↓T@5⊂↓T@5⊂↓T@5λ↓T 5λ↓T 5λ↓T 5↓T5↓T5↓T4x↓S`4x↓S`4x↓S`4p↓S@4p↓S@4p↓S@4h↓S 4h↓S 4h↓S 4`↓S4`↓S4`↓S4X↓R`4X↓Ra∧X∧∩a∧("↔"1λ≥K↓ @*α
@@,@k⊂_,@k_,k_,k_,jp_+@jp_+@jp_+@j`_+j`_+j`_+jP_*@jP_*@jP_*@j@_*j@_*j@_*j0_)@j0_)@j0_)@j _)j _)j _)j⊂_(@j⊂_(@j⊂_(@j_(j_%B	0@%BλT 0αα⊃λ∀A`∃S`∀pS ∀`S∀XR`∀XR@∀PR@⊂λ↓R@dPβR@dXαS4("∧A↓(¬
 ⊂_%A	 (%A)@ &@i`_'@Ip_(J⊂λ"Qα0X∞αE⊂@↓T EαS`Txα∪@4h↓S4`↓∩`$PQ(A πGb(A ⊂%@A⊂&`@_&@`⊂_'↓)p_((T 
DβPP∀@⊂pR@⊂pR@⊂hR@⊂hR@⊂`↓∩@⊂`R@ PR` @↓∩`0(↓S↓∀pαQ(A0
π@∩⊂¬	! "QαpP⊃αE  α∪  S⊂0R`⊂8R@⊂@R@⊂@R@⊂@R@⊂@R`⊂0R`  SD(!@?␈␈x␈@α@
?␈␈xz?␈␈x␈↓`Eλα∀ U_αUU(α∃ E α∀`DX¬∩@∀("λ↓a⊂β¬aPλ*↓
 ('A)@0%↓) ⊂"Q`x
B¬⊂@T 5αS`0λ↓∪@0_↓∪  0↓∪ @↓∩` PR@ `Q(Exβ∧ R@↓i0(%↓I 0%↓)0_"Q∂Qλ∂αE⊂_α↓@Dhα↓@Dhα↓@D`α↓@D`↓A`4`↓α$X↓A`4X↓α$XB ∀P↓α$PB ∀("∨B1pα	`P_∧@)P8βI@⊂↓A  _%@ `8%!⊂ "Q∂q∞↓%⊂↓A`4XαA TPβ↓ TPβ↓dXαA TX↓B4("αeαP∀J"08β↓K  β@ _α@+ ∧↓@@ +@a⊂0α↓*`_∧A@P(*A↓⊂0β↓
@ ¬A↓λ*↓↓0 *↓↓0 )A↓0 )A↓0 )A↓0 )A↓0 )A↓0 )A↓0 )↓↓0 &GiQx)↓↓0 )↓↓0 )↓↓0 (A↓0 (A↓0 (A↓0 (A↓0 (A↓0 (A↓0 (↓↓0 (↓↓0 (↓↓0 (↓↓0 (↓↓0 (↓↓0 'A↓0 'A↓0 'A↓0 'A↓0 'A↓0 'A↓0 '↓! (%β@h%β0p"Q↓Ap⊂
%⊃_βV@@0↓⊗@PU`0X↓U@0Xα∃ @PαU@XαU@`↓UE_α∀`E_α∀`E_α∀`E⊂α∪#∀hT@@XαT@@`α∀@@`α∀ @`α∀ @`α∀ @`α∀ @`α∀ @`α∀ @`α∀@`α∀@`α∀@`α∀@`α∀@`α∀@`α∪`@`α∪`@`α∪`@`α∪`@`α∪`@`α∪`@`α∪@PXαRA@ εRA@ εQ(@h∂H%∩H	B ⊂-↓p ,↓↓(+@a⊂(+a (*A↓ (*↓↓@ *↓↓@ *↓↓@ )A↓@ )A↓@ )A↓@ )A↓@ )A↓@ )A↓@ )↓↓@ &F)QH)↓↓@ )↓↓@ )↓↓@ (A↓@ (A↓@ (A↓@ (A↓@ (A↓@ (A↓@ (↓↓@ (↓↓@ (↓↓@ (↓↓@ (↓↓@ (↓↓@ 'A↓@ 'A↓@ 'A↓@ 'A↓@ 'A↓@ 'A↓@ '↓!0(%β 0h%β 0h"Q↓bp_
%⊃_βB uPα↓@  α↓@%@αα@⊂λαα@∃8↓B`PX↓U@0Pβα`E(αα@`PαU@XαB`U αβ@`↓U@`α∀`@`α∀`@`α∀`@`α∀`@`α∀`@`α∀`@`α∀@@`α∪%∀h∀T@@`αα`U⊂αβ@`α∀@@`αβEλαβ@`α∀ @`αβEλαβ@`α∀ @`αβEλαβ@`α∀ @`αβEαβ@`α∀@`αβEαβ@`α∀@`αβEαβ@`α∀@`αβDxαβ@`α∪`@`αβDxαβ@`α∪`@`αβDxαβ@`α∪`@`αβDpαB`PXαRA@ ε↓↓TPε↓↓@ εQ(@x↔L%∩H	B↓@↓K  β@@0 βA ∧@@⊂ ∧↓*p_¬↓A⊂(+a 0¬↓*P ¬↓A (*↓↓@ ε↓
@ ε↓↓@ *↓↓@ ε↓
0 ε↓↓@ )A↓@ ε↓
0 ε↓↓@ )A↓@ ε↓
0 ε↓↓@ )A↓@ ε↓
  ε↓↓@ &J)RH)↓↓@ ε↓
  ε↓↓@ )↓↓@ ε↓
⊂ ε↓↓@ (A↓@ ε↓
⊂ ε↓↓@ (A↓@ ε↓
⊂ ε↓↓@ (A↓@ ε↓
 ε↓↓@ (↓↓@ ε↓
 ε↓↓@ (↓↓@ ε↓
 ε↓↓@ (↓↓@ ε↓	p ε↓↓@ 'A↓@ ε↓	p ε↓↓@ 'A↓@ ε↓	p ε↓↓@ 'A↓@ ε↓	`(¬A!0(%β 0h↓C) h↓C 0h"Q∧!_
∧%⊂_↓B4`αA@T`β↓ dXβAt`β↓ dh↓@ ⊂0↓@ ∃λB@∃λB@∃B@∃B@∃B@∀xB@∀xB@∀pB@∀hB@∀`B@∀XB@∀PB@∀(""↓_↓β@x%βi x"QA_⊂∧%⊂8B@∃B@∀xB@∀pB@∀hB@∀`B@∀`B@∀XB@∀XB@∀XB@∀PB@∀PB@∀P@ 00@ 4Pβ↓ dPβAtPβ↓ dXαA@T`↓B4("≡cAx∧↓`"Q∂CP≡@α≥⊃=px4YVp:~,fH2\D∧_&TiNx
Xmv 4[Lw_1ZVh2H
F(,λ∞F(<≥≥p`3≠mg 3_,6(1≡.F(y@≤`> ~@∂V@⊂t` ⎇M` ⎇M␈␈x␈␈ ⊂?␈x␈|≡`∩@↓≤Hw@↓hA⎇@∪λβ!cβ← {E`εlπQ␈0↓J Poo ∂U↑` ∪@↓'λ`↓xz⎇@R`αwhh∧¬`{↓E ¬T∩λ ?0βK@`↔X⊂c≡`@∃↓5Hα⊂	⎇A∩pβ¬v∧,@{αE ¬T∩λo␈0¬H@H⊃b≥o≡``⊂@↓ ⊂β`:⎇ARλα⊗BπPp{βF⊂εCF∂7∨0πL hπ∨)↑aλ@EPλαX}=B⊃⊂↓→↔@¬C8{∧CPβu*∞B∂0	G 8jT≥>a ∞@⎇((βP%=BQh↓zUπ&8{¬CPβu*∞Ro0K``W0 ≥(>a@
o0@βPh=C⊃h↓zU¬I {εE ¬T∩)?0
K@`↔X⊗x≡a`∞@⎇((αp@⎇CS(βD?x¬r`{πG0πx3pβ␈0∂K@`↔X_G↑bλEPλβX=D⊃↓!ε!x{λCPβu*∂t←0⊃L hπ→1>b ∞@⎇((αH@=DSλβ!cε9@{	E`εl
J←0∪D -∧~/>b@@a8Xβ u=E⊃8↓B{εVX{
CPβu*
=O0∃K@`↔X≠∀}b`λEPλβ0T=EQ ↓'∞π␈@{Bα⊗B
Z←0↔G 8jT≠:≡c∞@⎇((α "=F⊃h↓zU∧NX{CPβu*	(o0→G 8jT∩p>c ∞@⎇((α0!=FQh↓zU∧kx{
CPβu*	hO0≠G 8jT∪x>c@∞@⎇((α@$=G⊃h↓zU¬∞_{∞Bα⊗B
l␈0≥D -∧≠b≡c`λEPλβ⊂9=GRpβ¬vε|λ{∂C@βY=
s∨0∨G82z∃M↑d↔↓Bx0β8k=H∩`αwhhα_{⊂E⊂¬F∧p↔O0!J@X($W>d ⊗@↓?0{@λ⎇=HR@αUx)h{⊃D`¬∞*pho0#K@`%8↓t}d@⊗↓;pF@ ?=I⊃(↓4mhR({∩C`∧β	p↓/o0%K@`⊗⎇ α{>d`∩@↓≤Hw@0Q=IS0βK/hq8{∪E@¬oQPα
∂0'K@`↔X∧M>e∀↓*@←@Hr=J∩pβ¬v↓&λ{∀E0¬aqpαjO0)H @Zλε↓}e ∃↓5H`R=JR`αwhh↓Rh{∃E@¬oQPβ;∂0+O↓' π≡>e@⊗↓;pF@xM=K∩`αwhhαβ8{⊗D@∧d↑∧↔o0-D -∧≤9>e`∞@⎇((∧α⎇KQ↓!π⊗ {↔CPβu*∞b←0/D -∧≥N↑fλEPλβHq⎇L⊃h↓zUα∀X{_D⊂∧-∧∧8O01F@0{ 	↔>f ⊂@↓ ⊂↓⊂Y=LQP↓↑hα4h{→B α2/∧u∂03G 8jT
β}f@⊂@↓ ⊂↓ W=M⊃λ↓!αT_{~B α2/¬1O05G`@".
⎇}f`λ@EPλ↓0D=MSλβ!cαn_{≠D⊂∧-∧¬rO07G 8jTα>g⊂@↓ ⊂↓@:=N⊃xαλK@β⊂_{≤Bpβ¬vε3∂09E`0⊗}y>g @a8X↓P%=NRλα⊗Bβ*x{≥Cp∧⊃↔εdO0;J@X($
b>g@∂@↓∧ \↓`≠=O⊃xαλK@βIX{≡C β=Pπ$O0=G 8jT ⊗≡g`≥@↓zPP∧0⎇OQh↓zUπ4h{∨CPβu*∞p∂0?G 8jT≥g?⊂⊂∀X_ow{⎇x